The set of the true regular protothetics formulas with partially ordered quantifiers is NEXPTIME-complete

Sampling of Multiple Variables Based on Partially Ordered Set Theory

We introduce a new method for ranked set sampling with multiple criteria. The method relaxes the restriction of selecting just one individual variable from each ranked set. Under the new method for ranking, units are ranked in sets based on linear extensions in partially order set theory with considering all variables simultaneously. Results willbe evaluated by a relatively extensive simulation...

Categorical properties of regular partially ordered pure monomorphisms

Let   a family of monomorphisms in the category A ‎To study mathematical notions in a category  A‎, ‎such as injectivity‎, ‎tensor products‎, ‎flatness‎, ‎with respect to a class M of its (mono)morphisms‎, ‎one should know some of the categorical properties of the pair (A ‎,M ‎)‎. ‎In this paper we take A to be the‎‎category  Pos-S  of S-partially ordered sets  and   to be a particular‎ class o...

Pp-definability Is Co-nexptime-complete

PP-Def is the problem which takes as input a relation r and a finite set Γ of relations on the same finite domain A, and asks whether r is definable by a conjunctive query over (A,Γ), i.e., by a formula of the form ∃~yφ(~x, ~y) where φ(~x, ~y) is a conjunction of atomic formulas built using the relations in Γ∪ {=}, and where the variables range over A. (Such formulas ∃~yφ(~x, ~y) are called pri...

the evaluation of language related engagment and task related engagment with the purpose of investigating the effect of metatalk and task typology

abstract while task-based instruction is considered as the most effective way to learn a language in the related literature, it is oversimplified on various grounds. different variables may affect how students are engaged with not only the language but also with the task itself. the present study was conducted to investigate language and task related engagement on the basis of the task typolog...

A NExpTime - Complete Description